搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Excitations in two-dimensional and three-dimensional quantum fluids 0 索取号：O572.3-53/E991 作者：NATO Advanced Research Workshop on Excitations in Two-Dimensional and Three-Dimensional Quantum Fluids (1990 : Exeter、 England)、Wyatt、 A. F. G. (Adrian Frederick George)、 1938-、Lauter、 H. J.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：New York : Plenum Press, 1991.		Proceedings of the Workshop on Numerical Hydrodynamics, held at the National Academy of Sciences, May 20-21, 1974 0 索取号：O351.2-53/E802/1974 作者：Workshop on Numerical Hydrodynamics、 Washington、 D.C.、 1974.、National Research Council (U.S.). Committee on Undersea Warfare.、United States. Office of Naval Research. Fluid Dynamics Branch.、出版社：Washington : National A. The Academy, 1975.
	Electron and pion interactions with nuclei at intermediate energies : proceedings of the International School on Electron and Pion Interactions with Nuclei at Intermediate Energies, sponsored by the University of Rome and held at the Centro Studi in Ariccia (Rome), June 18-29, 1979 0 索取号：O572.24-53/E901 作者：International School on Electron and Pion Interactions with Nuclei at Intermediate Energies (1979 : Ariccia、 Italy)、Bertozzi、 William.、Costa、 Sergio.、Schaerf、 Carlo、 1935-、Universit̀А di Roma.、出版社：London Chur, Switzerland ; New York : Harwood Academic Publishers, 1980.		Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 0 索取号：O14-53/E991 作者：Workshop on Logic and Computation (1987 : Carnegie Mellon University)、Sieg、 Wilfried、 1945-、出版社：Providence, R.I. : American Mathematical Society, c1990.
	Transonic, shock, and multidimensional flows : advances in scientific computing : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, May 13-15, 1981 0 索取号：O35-53/E902 作者：出版社：New York : Academic Press, 1982.		Proceedings of Fourth Australasian Conference on Hydraulics and Fluid Mechanics held at Monash University, Melbourne, Australia, 1971, November 29 to December 3 [microform] : theoria of experiment in turbulent flows 0 索取号：O35-53/E803/1971 作者：Australasian Conference on Hydraulics and Fluid Mechanics (4th : 1971 : Monash University)、Luxton、 R. E.、Monash University.、出版社：Melbourne, Australia : Monash University, 1971.
	Computational engineering with boundary elements : proceedings of the Fifth International Conference on Boundary Element Technology, held July 10-12, 1990, University of Delaware, USA 0 索取号：O35-53/E991 作者：International Conference on Boundary Element Technology (5th : 1990 : University of Delaware)、Grilli、 S.、Brebbia、 C. A.、 1938-、Cheng、 A. H. D.、出版社：Southampton : Computational Mechanics Publications, c1990.		Many degrees of freedom in particle theory : [proceedings of the 1976 International Summer Institute of Theoretical Physics held at the University of Bielefeld, Federal Republic of Germany, August 23-September 4, 1976] 0 索取号：O572.2/E806 作者：International Summer Institute on Theoretical Physics、 8th、 University of Bielefeld、 1976.、Satz、 H.、出版社：New York : Plenum Press, 1978.
	Computational engineering with boundary elements : proceedings of the Fifth International Conference on Boundary Element Technology, held July 10-12, 1990, University of Delaware, USA 0 索取号：作者：International Conference on Boundary Element Technology (5th : 1990 : University of Delaware)、Grilli、 S.、Brebbia、 C. A.、Cheng、 A. H.-D.、出版社：Southampton ; Boston : Computational Mechanics Publications, c1990.		International Workshop on Quantum Simulations of Condensed Matter Phenomena, 8-11 August 1989, Los Alamos, NM, USA 0 索取号：O413.3-53/E991 作者：International Workshop on Quantum Simulations of Condensed Matter Phenomena (1989 : Los Alamos、 N.M.)、Doll、 J. D.、Gubernatis、 J. E.、出版社：Singapore ; Teaneck, NJ : World Scientific, c1990.
	Gauge theories and modern field theory : proceedings of a conference held at Northeastern University, Boston, September 26 and 27, 1975 0 索取号：O413.3-53/E801 作者：Conference on Gauge Theories and Modern Field Theory (1975 : Northeastern University).、Arnowitt、 Richard.、Pran Nath、 1939-、出版社：Cambridge, Mass. : MIT Press, c1976.		Low temperature physics--LT 13 : [proceedings] 0 索取号：O51/E801 作者：International Conference on Low Temperature Physics (13th : 1972 : University of Colorado).、Timmerhaus、 Klaus D.、 ed.、O'Sullivan、 William John、 ed.、Hammel、 E. F.、 1918- ed.、出版社：New York, Plenum Press [1974]
	Neutron capture gamma-ray spectroscopy 0 索取号：O571.54-53/E801 作者：International Symposium on Neutron Capture Gamma-Ray Spectroscopy and Related Topics、 3d、 Brookhaven National Laboratory and State University of New York、 Stony Brook、 1978.、Chrien、 Robert E.、Kane、 Walter R.、出版社：New York : Plenum Press, 1979.		Applications of the Mossbauer effect : proceedings of the International Conference on the Applications of the Mèossbauer Effect, Alma Ata, USSR, September 26-October 1, 1983 0 索取号：O481.4-53/E901 作者：International Conference on the Applications of the Mèossbauer Effect (1983 : Alma-Ata、 Kazakh S.S.R.)、Kagan、 ëIìU.、Lyubutin、 I. S.、出版社：New York : Gordon and Breach, c1985.
	Nuclear theory, 1981 : proceedings of the Nuclear Theory Summer Workshop, Santa Barbara, August 1981 0 索取号：作者：Nuclear Theory Summer Workshop (1981 : Santa Barbara、 Calif.)、Bertsch、 George F.、出版社：Singapore : World Scientific, 1981.		Atomic physics in nuclear experiments : proceeding of the Haifa International Workshop held at the Technion--Israel Institute of Technology, August 24-31, 1976 ... 0 索取号：O571-53/E804 作者：Haifa International Workshop、 Technion--Israel Institute of Technology、 1976.、Rosner、 Baruch.、Kalish、 Rafael.、̣тekhniyon、 Makhon ̣Тekhnologi le-YíСraʼЕl.、出版社：Bristol, Eng. : A. Hilger ... in association with the American Institute of Physics, [c1977]

	Excitations in two-dimensional and three-dimensional quantum fluids 0 索取号：O572.3-53/E991 作者：NATO Advanced Research Workshop on Excitations in Two-Dimensional and Three-Dimensional Quantum Fluids (1990 : Exeter、 England)、Wyatt、 A. F. G. (Adrian Frederick George)、 1938-、Lauter、 H. J.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：New York : Plenum Press, 1991.		Proceedings of the Workshop on Numerical Hydrodynamics, held at the National Academy of Sciences, May 20-21, 1974 0 索取号：O351.2-53/E802/1974 作者：Workshop on Numerical Hydrodynamics、 Washington、 D.C.、 1974.、National Research Council (U.S.). Committee on Undersea Warfare.、United States. Office of Naval Research. Fluid Dynamics Branch.、出版社：Washington : National A. The Academy, 1975.
	Electron and pion interactions with nuclei at intermediate energies : proceedings of the International School on Electron and Pion Interactions with Nuclei at Intermediate Energies, sponsored by the University of Rome and held at the Centro Studi in Ariccia (Rome), June 18-29, 1979 0 索取号：O572.24-53/E901 作者：International School on Electron and Pion Interactions with Nuclei at Intermediate Energies (1979 : Ariccia、 Italy)、Bertozzi、 William.、Costa、 Sergio.、Schaerf、 Carlo、 1935-、Universit̀А di Roma.、出版社：London Chur, Switzerland ; New York : Harwood Academic Publishers, 1980.		Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 0 索取号：O14-53/E991 作者：Workshop on Logic and Computation (1987 : Carnegie Mellon University)、Sieg、 Wilfried、 1945-、出版社：Providence, R.I. : American Mathematical Society, c1990.
	Transonic, shock, and multidimensional flows : advances in scientific computing : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, May 13-15, 1981 0 索取号：O35-53/E902 作者：出版社：New York : Academic Press, 1982.		Proceedings of Fourth Australasian Conference on Hydraulics and Fluid Mechanics held at Monash University, Melbourne, Australia, 1971, November 29 to December 3 [microform] : theoria of experiment in turbulent flows 0 索取号：O35-53/E803/1971 作者：Australasian Conference on Hydraulics and Fluid Mechanics (4th : 1971 : Monash University)、Luxton、 R. E.、Monash University.、出版社：Melbourne, Australia : Monash University, 1971.
	Computational engineering with boundary elements : proceedings of the Fifth International Conference on Boundary Element Technology, held July 10-12, 1990, University of Delaware, USA 0 索取号：O35-53/E991 作者：International Conference on Boundary Element Technology (5th : 1990 : University of Delaware)、Grilli、 S.、Brebbia、 C. A.、 1938-、Cheng、 A. H. D.、出版社：Southampton : Computational Mechanics Publications, c1990.		Many degrees of freedom in particle theory : [proceedings of the 1976 International Summer Institute of Theoretical Physics held at the University of Bielefeld, Federal Republic of Germany, August 23-September 4, 1976] 0 索取号：O572.2/E806 作者：International Summer Institute on Theoretical Physics、 8th、 University of Bielefeld、 1976.、Satz、 H.、出版社：New York : Plenum Press, 1978.
	Computational engineering with boundary elements : proceedings of the Fifth International Conference on Boundary Element Technology, held July 10-12, 1990, University of Delaware, USA 0 索取号：作者：International Conference on Boundary Element Technology (5th : 1990 : University of Delaware)、Grilli、 S.、Brebbia、 C. A.、Cheng、 A. H.-D.、出版社：Southampton ; Boston : Computational Mechanics Publications, c1990.		International Workshop on Quantum Simulations of Condensed Matter Phenomena, 8-11 August 1989, Los Alamos, NM, USA 0 索取号：O413.3-53/E991 作者：International Workshop on Quantum Simulations of Condensed Matter Phenomena (1989 : Los Alamos、 N.M.)、Doll、 J. D.、Gubernatis、 J. E.、出版社：Singapore ; Teaneck, NJ : World Scientific, c1990.
	Gauge theories and modern field theory : proceedings of a conference held at Northeastern University, Boston, September 26 and 27, 1975 0 索取号：O413.3-53/E801 作者：Conference on Gauge Theories and Modern Field Theory (1975 : Northeastern University).、Arnowitt、 Richard.、Pran Nath、 1939-、出版社：Cambridge, Mass. : MIT Press, c1976.		Low temperature physics--LT 13 : [proceedings] 0 索取号：O51/E801 作者：International Conference on Low Temperature Physics (13th : 1972 : University of Colorado).、Timmerhaus、 Klaus D.、 ed.、O'Sullivan、 William John、 ed.、Hammel、 E. F.、 1918- ed.、出版社：New York, Plenum Press [1974]
	Neutron capture gamma-ray spectroscopy 0 索取号：O571.54-53/E801 作者：International Symposium on Neutron Capture Gamma-Ray Spectroscopy and Related Topics、 3d、 Brookhaven National Laboratory and State University of New York、 Stony Brook、 1978.、Chrien、 Robert E.、Kane、 Walter R.、出版社：New York : Plenum Press, 1979.		Applications of the Mossbauer effect : proceedings of the International Conference on the Applications of the Mèossbauer Effect, Alma Ata, USSR, September 26-October 1, 1983 0 索取号：O481.4-53/E901 作者：International Conference on the Applications of the Mèossbauer Effect (1983 : Alma-Ata、 Kazakh S.S.R.)、Kagan、 ëIìU.、Lyubutin、 I. S.、出版社：New York : Gordon and Breach, c1985.
	Nuclear theory, 1981 : proceedings of the Nuclear Theory Summer Workshop, Santa Barbara, August 1981 0 索取号：作者：Nuclear Theory Summer Workshop (1981 : Santa Barbara、 Calif.)、Bertsch、 George F.、出版社：Singapore : World Scientific, 1981.		Atomic physics in nuclear experiments : proceeding of the Haifa International Workshop held at the Technion--Israel Institute of Technology, August 24-31, 1976 ... 0 索取号：O571-53/E804 作者：Haifa International Workshop、 Technion--Israel Institute of Technology、 1976.、Rosner、 Baruch.、Kalish、 Rafael.、̣тekhniyon、 Makhon ̣Тekhnologi le-YíСraʼЕl.、出版社：Bristol, Eng. : A. Hilger ... in association with the American Institute of Physics, [c1977]